李樾

“大不了一起被辞退”，一对南大教师的“冒险”

在国际程序设计语言与软件工程的江湖里，不少人都听过这对搭档的名字。凭借12年一线基础程序分析的科研经历、11年开源工具编写经验，他们推进了多个基础程序分析领域公认难题的解决边界，在一些问题上至今保持着最佳解法的“战绩”。